043e46fcc19294aeeba7d146dbee52348a0b043e,src/main/java/io/vertx/ext/stomp/DefaultAbortHandler.java,DefaultAbortHandler,handle,#ServerFrame#,14

Before Change


      return;
    }

    Transaction transaction = sf.connection().handler().getTransaction(sf.connection(), txId);
    if (transaction == null) {
      Frame error = Frames.createErrorFrame("Unknown transaction",
          Headers.create(Frame.TRANSACTION, txId),
          "The transaction id is unknown.");
      sf.connection().write(error).close();
      return;
    }

    transaction.clear();
    sf.connection().handler().unregisterTransaction(transaction);

    Frames.handleReceipt(sf.frame(), sf.connection());
  }

After Change


      return;
    }

    if (! Transactions.INSTANCE.unregisterTransaction(sf.connection(), txId)) {
      Frame error = Frames.createErrorFrame("Unknown transaction",
          Headers.create(Frame.TRANSACTION, txId),
          "The transaction id is unknown.");